// other.h: empty
